Theorem CategoryTheory.Sum.homInduction_left

Modification history