Theorem subtype.map_comp
Modification history
2018-07-06 09:04
data/sigma/basic.lean
refactor(data/subtype): move out of data/sigma/basic.lean
Modified subtype.map_compView on Github →2018-06-12 22:37
data/equiv.lean
refactor(data/equiv): move subtype.map
Modified subtype.map_compView on Github →