Theorem GenLoop.boundary

Modification history