Theorem Odd.natCast

Modification history

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