Def CategoryTheory.WideSubcategory.isoMk

Modification history

2026-08-07 18:34

Mathlib/CategoryTheory/Widesubcategory.lean

chore: namespace `CategoryTheory.isoMk` to `CategoryTheory.WideSubcategory.isoMk` (#42532)

Added CategoryTheory.WideSubcategory.isoMk View on Github →