Theorem ElementwiseTest.gh

Modification history

2025-01-17 18:04
MathlibTest/CategoryTheory/Elementwise.lean
feat(Tactic): basic ConcreteCategory support for elementwise (#20811) …
Deleted ElementwiseTest.ghView on Github →
2024-06-04 00:39
test/CategoryTheory/Elementwise.lean
fix(Tactic/Elementwise): type inference in elementwise (#13413) …
Added ElementwiseTest.ghView on Github →