Theorem ElementwiseTest.gh

Modification history

2024-06-04 00:39
test/CategoryTheory/Elementwise.lean
fix(Tactic/Elementwise): type inference in elementwise (#13413) …
Added ElementwiseTest.ghView on Github →