Theorem GenLoop.mk_apply

Modification history