Theorem CategoryTheory.ToAppTest.testThm

Modification history

2024-09-12 19:09
test/CategoryTheory/ToApp.lean
feat(Tactic/CategoryTheory/ToApp): Add `to_app` attribute (#16119) …
Added CategoryTheory.ToAppTest.testThmView on Github →