Theorem CategoryTheory.StrongMono.mk'

Modification history

2023-02-22 04:23

Mathlib/CategoryTheory/Limits/Shapes/StrongEpi.lean

feat: port CategoryTheory.Limits.Shapes.StrongEpi (#2327)

Added CategoryTheory.StrongMono.mk'View on Github →