Theorem GenLoop.transAt_distrib

Modification history