Def CategoryTheory.Localization.whiskeringLeftFunctor'

Modification history