Theorem CategoryTheory.Localization.LeftBousfield.W_iff_isIso

Modification history