Theorem Pi.ofNat_def

Modification history

2025-01-19 22:57
Mathlib/Data/Nat/Cast/Basic.lean
feat: `Pi.ofNat_def` (#20857)
Added Pi.ofNat_defView on Github →