Theorem CategoryTheory.GradedObject.mapMap_comp
Modification history
2025-08-05 23:45
Mathlib/CategoryTheory/GradedObject.lean
feat: replace aesop_cat with a configurable discharger (#27938) …
Modified CategoryTheory.GradedObject.mapMap_compView on Github →