Theorem Trivialization.prod_apply

Modification history