Def dummyInst

Modification history

2026-05-29 13:23
MathlibTest/globalAttributeIn.lean
chore: bump toolchain to v4.31.0-rc1 (#39980)
Added dummyInstView on Github →