mathlib3
56c7bf86 - chore(group_theory/sub*): avoid fintype dependencies (#17762)

Commit

3 years ago

chore(group_theory/sub*): avoid fintype dependencies (#17762)

Author

Ruben-VandeVelde

Ruben-VandeVelde

Parents

Loading