Theorem CategoryTheory.ShrinkHoms.from_to

Modification history