Theorem Even.natCast

Modification history

2024-06-05 21:47
Mathlib/Data/Nat/Cast/Basic.lean
feat: add `{Even,Odd}.natCast` (#13405)
Added Even.natCastView on Github →