Def ElementwiseTest.HasForget.f

Modification history

2025-01-17 18:04

MathlibTest/CategoryTheory/Elementwise.lean

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

Added ElementwiseTest.HasForget.f View on Github →