Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.mono_over.lift_obj_arrow

Modification history

2021-04-09 03:28

src/category_theory/subobject/mono_over.lean

feat(category_theory, algebra/category): AddCommGroup is well-powered (#7006)

Added category_theory.mono_over.lift_obj_arrow View on Github →