Theorem ZMod.val_ofNat_of_lt

Modification history

2025-03-29 19:12
Mathlib/Data/ZMod/Basic.lean
feat: `ZMod.val ofNat(a)` (#23441) …
Added ZMod.val_ofNat_of_ltView on Github →