Mathlib v3 is deprecated. Go to Mathlib v4

Def wide_pushout_shape.diagram_iso_wide_span

Modification history