Theorem Finset.univ_of_card_le_three

Modification history

2024-06-25 09:57
Mathlib/RingTheory/Fintype.lean
feat(Mathlib.NumberTheory.Cyclotomic.Three): add various results (#13798) …
Added Finset.univ_of_card_le_threeView on Github →