Theorem alias_lem2

Modification history

2026-07-16 01:47
MathlibTest/TacticCheckInstancesReassoc.lean
chore: bump toolchain to v4.33.0-rc1 (#41779)
Added alias_lem2View on Github →