Def CategoryTheory.Limits.kernelSubobjectIso

Modification history