Structure MyNatStruct

Modification history

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