Theorem GenLoop.toLoop_apply

Modification history