Theorem quotient.lift_on_beta
Modification history
2021-02-05 00:51
src/data/quot.lean
chore(data/quot): rename `lift_on_beta` to `lift_on_mk` (#5921) …
Deleted quotient.lift_on_betaView on Github →2020-06-02 00:43
src/data/quot.lean
chore(*): split long lines (#2913)
Modified quotient.lift_on_betaView on Github →