Theorem CategoryTheory.Functor.initial_natIso_iff

Modification history