Theorem equiv.eq_of_to_fun_eq
Modification history
2020-05-23 07:44
src/data/equiv/basic.lean
chore(data/equiv): make `equiv.ext` args use { } (#2776) …
Deleted equiv.eq_of_to_fun_eqView on Github →2017-11-23 23:33
data/equiv.lean
feat(data/finset): fintype, multiset.sort, list.pmap
Modified equiv.eq_of_to_fun_eqView on Github →