Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Cleaning 20231122 #107

Merged
merged 17 commits into from
Nov 22, 2023
Merged

Cleaning 20231122 #107

merged 17 commits into from
Nov 22, 2023

Commits on Nov 22, 2023

  1. wip

    @affeldt-aist
    affeldt-aist committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    984e5cd View commit details
    Browse the repository at this point in the history

  2. rm lemmas

    @affeldt-aist
    affeldt-aist committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    fe0cb46 View commit details
    Browse the repository at this point in the history

  3. erase prob_coercion from convex.v

    @t6s
    t6s committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    c10dc26 View commit details
    Browse the repository at this point in the history

  4. no prob_coercion

    @t6s
    t6s committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    4e984f5 View commit details
    Browse the repository at this point in the history

  5. sumRE

    @t6s
    t6s committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    a755155 View commit details
    Browse the repository at this point in the history

  6. rm lemmas

    @affeldt-aist
    affeldt-aist committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    1f70ade View commit details
    Browse the repository at this point in the history

  7. rm canonical spec. to R

    @affeldt-aist
    affeldt-aist committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    5267f27 View commit details
    Browse the repository at this point in the history

  8. rm more thms

    @affeldt-aist
    affeldt-aist committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    6bdd73e View commit details
    Browse the repository at this point in the history

  9. mv

    @affeldt-aist
    affeldt-aist committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    03a8290 View commit details
    Browse the repository at this point in the history

  10. rm sumR_ge0

    @affeldt-aist
    affeldt-aist committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    2c7be65 View commit details
    Browse the repository at this point in the history

  11. remove big_ord1_eq

    @t6s
    t6s committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    2945f92 View commit details
    Browse the repository at this point in the history

  12. remove bigcap_const

    @t6s
    t6s committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    a4a71c6 View commit details
    Browse the repository at this point in the history

  13. generalize big_tuple_ffun

    @t6s
    t6s committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    3a06172 View commit details
    Browse the repository at this point in the history

  14. rm Rbigop

    @affeldt-aist
    affeldt-aist committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    c4a4588 View commit details
    Browse the repository at this point in the history

  15. remove bigcap_ext

    @t6s
    t6s committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    5bdcc6c View commit details
    Browse the repository at this point in the history

  16. rm lemmas

    @affeldt-aist
    affeldt-aist committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    26108fd View commit details
    Browse the repository at this point in the history

  17. mv to realType_ext

    @affeldt-aist
    affeldt-aist committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    3f3fc23 View commit details
    Browse the repository at this point in the history