Skip to content

Merge remote-tracking branch 'origin/master' into serre-class-localiz…

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

feat(CategoryTheory): the localization w.r.t. a Serre class is an abelian category #34444

Merge remote-tracking branch 'origin/master' into serre-class-localiz…
114e59c
Select commit
Loading
Failed to load commit list.