Theorem CategoryTheory.ShrinkHoms.to_from

Modification history