Theorem Trivialization.prod_apply'

Modification history