Mathlib v3 is deprecated. Go to Mathlib v4

Def graded_monoid.ghas_mul.of_subobjects

Modification history