Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.under.epi_of_epi_right

Modification history