Def CategoryTheory.Limits.kernelBiprodFstIso

Modification history