Skip to content

Merge branch 'leanprover-community:master' into equalizer_and_pullback

4ecc029
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat(RingTheory/LocalRing): IsLocalRing for pullbacks #37008

Merge branch 'leanprover-community:master' into equalizer_and_pullback
4ecc029
Select commit
Loading
Failed to load commit list.