Commit 2026-08-07 18:34 87adeaeb

View on Github →

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

Estimated changes

Modified Mathlib/CategoryTheory/Widesubcategory.lean

added def CategoryTheory.WideSubcategory.isoMk

deleted def CategoryTheory.isoMk