Theorem ElementwiseTest.HasForget.ex1

Modification history

2026-02-06 21:24
MathlibTest/CategoryTheory/Elementwise.lean
refactor(CategoryTheory): remove `HasForget` (#34741)
Modified ElementwiseTest.HasForget.ex1View on Github →
2025-01-17 18:04
MathlibTest/CategoryTheory/Elementwise.lean
feat(Tactic): basic ConcreteCategory support for elementwise (#20811) …
Added ElementwiseTest.HasForget.ex1View on Github →