Theorem CategoryTheory.CommaMorphism.w'

Modification history

2026-05-04 11:17
Mathlib/CategoryTheory/Comma/Basic.lean
feat(Translate): reorder universes (#36604) …
Added CategoryTheory.CommaMorphism.w'View on Github →