Theorem equiv.apply_eq_iff_eq
Modification history
2022-10-18 21:51
src/logic/equiv/basic.lean
chore(logic/equiv/basic): split into two files (#17038) …
Modified equiv.apply_eq_iff_eqView on Github →2022-01-25 10:49
src/data/equiv/basic.lean
feat(data/fun_like): define `embedding_like` and `equiv_like` (#10759) …
Modified equiv.apply_eq_iff_eqView on Github →2020-10-04 11:10
src/data/equiv/basic.lean
chore(data/equiv/mul_add): add more `equiv` lemmas to `mul_equiv` namespace (#4380) …
Modified equiv.apply_eq_iff_eqView on Github →2020-05-15 21:05
src/data/equiv/basic.lean
chore(*): bump to lean-3.12.0 (#2681) …
Modified equiv.apply_eq_iff_eqView on Github →2017-11-30 22:10
data/equiv.lean
feat(data/analysis): calculations with filters / topologies + misc
Modified equiv.apply_eq_iff_eqView on Github →2017-11-23 23:33
data/equiv.lean
feat(data/finset): fintype, multiset.sort, list.pmap
Modified equiv.apply_eq_iff_eqView on Github →