mathlib3
7e1c1263 - move(group_theory/perm/cycle/*): A cycle folder (#14285)

Commit
3 years ago
move(group_theory/perm/cycle/*): A cycle folder (#14285) Move: * `group_theory.perm.cycles` → `group_theory.perm.cycle.basic` * `group_theory.perm.cycle_type` → `group_theory.perm.cycle.type` * `group_theory.perm.concrete_cycle` → `group_theory.perm.cycle.concrete`
Author
Parents
Loading