Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.structured_arrow.epi_of_epi_right

Modification history