Mathlib v3 is deprecated. Go to Mathlib v4

Theorem quotient.surjective_lift_on'

Modification history