Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.subobject.of_le_mk_le_mk_of_comm

Modification history