Def MyTrue

Modification history

2026-04-05 12:58
MathlibTest/abel.lean
chore: modulize tests (5/N) (#37654)
Added MyTrueView on Github →