Theorem CategoryTheory.ToAppTest.whiskerLeft_hom_inv

Modification history

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