Theorem CategoryTheory.Splitting.splittings_comm

Modification history