Theorem $typeName.natCast_def

Modification history

2023-03-08 11:50
Mathlib/Data/UInt.lean
refactor: change defeqs of pow and zsmul on UInt, golf the ring instance (#2567) …
Added $typeName.natCast_defView on Github →