Theorem orderOf_lt_card

Modification history

2025-03-17 01:20
Mathlib/RingTheory/Fintype.lean
feat: add some elementary number theory lemmas (#22989) …
Added orderOf_lt_cardView on Github →