Theorem ElementwiseTest.ex1

Modification history

2025-01-17 18:04
MathlibTest/CategoryTheory/Elementwise.lean
feat(Tactic): basic ConcreteCategory support for elementwise (#20811) …
Deleted ElementwiseTest.ex1View on Github →
2025-01-17 14:00
MathlibTest/CategoryTheory/Elementwise.lean
chore(CategoryTheory): rename `ConcreteCategory` to `HasForget` (#20809) …
Modified ElementwiseTest.ex1View on Github →
2023-03-16 04:49
test/elementwise.lean
feat: port `@[elementwise]` attribute (#2882) …
Added ElementwiseTest.ex1View on Github →