Theorem ElementwiseTest.HasForget.bar

Modification history

2025-02-19 17:41
MathlibTest/CategoryTheory/Elementwise.lean
refactor(Tactic/CategoryTheory): generate `ConcreteCategory` lemmas in `elementwise` (#21729) …
Modified ElementwiseTest.HasForget.barView on Github →
2025-01-17 18:04
MathlibTest/CategoryTheory/Elementwise.lean
feat(Tactic): basic ConcreteCategory support for elementwise (#20811) …
Added ElementwiseTest.HasForget.barView on Github →