Def Homotopy.mkCoinductiveAux₂

Modification history