Def equiv.subtype_congr
Modification history
2021-04-21 04:20
src/data/equiv/basic.lean
feat(group_theory/{order_of_element, perm/cycles}): two cycles are conjugate iff their supports have the same size (#7024) …
Added equiv.subtype_congrView on Github →2021-02-02 11:46
src/data/equiv/basic.lean
refactor(*): rename subtype_congr to subtype_equiv (#6004) …
Deleted equiv.subtype_congrView on Github →