Theorem ZMod.orderOf_lt

Modification history

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