Def CategoryTheory.Functor.LeftExtension.postcomp₁

Modification history