Theorem CategoryTheory.Reflective.comparison_full

Modification history