Theorem CategoryTheory.Coreflective.comparison_full

Modification history