Theorem CategoryTheory.Localization.Monoidal.isInvertedBy₂

Modification history