Theorem Homotopy.mkInductiveAux₃

Modification history