Theorem equiv.inverse_apply_apply
Modification history
2019-03-08 15:01
src/data/equiv/basic.lean
refactot(data/equiv/basic): rename apply_inverse_apply to apply_symm_apply (#800)
Deleted equiv.inverse_apply_applyView on Github →2017-11-30 22:10
data/equiv.lean
feat(data/analysis): calculations with filters / topologies + misc
Modified equiv.inverse_apply_applyView on Github →2017-11-23 23:33
data/equiv.lean
feat(data/finset): fintype, multiset.sort, list.pmap
Modified equiv.inverse_apply_applyView on Github →2017-09-19 02:55
data/equiv.lean
refactor(data/equiv,encodable): refactor/simplify proofs
Modified equiv.inverse_apply_applyView on Github →