Def CategoryTheory.isoMk

Modification history

2026-08-07 18:34
Mathlib/CategoryTheory/Widesubcategory.lean
chore: namespace `CategoryTheory.isoMk` to `CategoryTheory.WideSubcategory.isoMk` (#42532)
Deleted CategoryTheory.isoMkView on Github →
2026-03-27 14:36
Mathlib/CategoryTheory/Widesubcategory.lean
feat(Kernel/Category): Stoch is a Markov category (#36779) …
Added CategoryTheory.isoMkView on Github →