Def CategoryTheory.Functor.LeftExtension.precomp

Modification history