Theorem CategoryTheory.eHom_whisker_cancel

Modification history

2025-07-04 07:44

Mathlib/CategoryTheory/Enriched/Ordinary/Basic.lean

chore: further whitespace fixes (#26708) …

Modified CategoryTheory.eHom_whisker_cancel View on Github →

2024-12-13 19:15

Mathlib/CategoryTheory/Enriched/Ordinary.lean

feat(CategoryTheory/Enriched): Add eHomCongr and related lemmas (#19932) …

Added CategoryTheory.eHom_whisker_cancel View on Github →