Theorem CategoryTheory.Localization.whiskeringLeftFunctor'_eq

Modification history