Theorem CategoryTheory.Functor.IsLocalization.mk'

Modification history