Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.well_powered_of_equiv

Modification history

2021-04-09 03:28

src/category_theory/subobject/well_powered.lean

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

Added category_theory.well_powered_of_equiv View on Github →