Theorem CategoryTheory.Localization.exists_leftFraction

Modification history