Theorem Homotopy.mkCoinductiveAux₂_zero

Modification history