Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-12-07 08:32 b5aecf07

View on Github →

feat(ring_theory/ring_hom_properties) : Redefine stable_under_base_change in terms of is_pushout. (#15805)

Estimated changes

modified def is_base_change.equiv