# 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 →