Def ElementwiseTest.HasForget.g

Modification history

2025-01-17 18:04

MathlibTest/CategoryTheory/Elementwise.lean

feat(Tactic): basic ConcreteCategory support for elementwise (#20811) …

Added ElementwiseTest.HasForget.g View on Github →