Def Tests.MapSimpCheck.hasSimpAttribute

Modification history

2026-10-19 06:25
MathlibTest/CategoryTheory/MapSimp.lean
fix: use meta imports for metaprogramming dependencies (#43912) …
Deleted Tests.MapSimpCheck.hasSimpAttributeView on Github →
2026-09-15 15:38
MathlibTest/CategoryTheory/MapSimp.lean
feat(Tactic/CategoryTheory): map attribute (#37183) …
Added Tests.MapSimpCheck.hasSimpAttributeView on Github →