Theorem ElementwiseTest.ConcreteCategory.foo'

Modification history

2025-01-17 18:04
MathlibTest/CategoryTheory/Elementwise.lean
feat(Tactic): basic ConcreteCategory support for elementwise (#20811) …
Added ElementwiseTest.ConcreteCategory.foo'View on Github →