Theorem GenLoop.continuous_toLoop

Modification history