Commit 2024-02-08 14:48 1c01109d

View on Github →

feat: change Type to Sort in Algebra/Classes, fix some priorities (#10354)

Estimated changes

modified theorem eq_of_eqv_lt
modified theorem eq_of_incomp
modified theorem eqv_lt_iff_eq
modified theorem incomp_iff_eq
modified theorem lt_of_incomp_of_lt
modified theorem lt_of_lt_of_incomp
modified theorem not_lt_of_lt
modified theorem Function.Injective.beq_eq