Def MyNat.zero

Modification history

2026-03-22 03:27
MathlibTest/Simps.lean
fix(Simps): don't reduce the type of the equality (#36656) …
Added MyNat.zeroView on Github →