Theorem ZMod.val_ofNat

Modification history

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