Theorem CategoryTheory.IsKernelPair.isReflexivePair

Modification history