Theorem Trivialization.coordChange_same_apply

Modification history