Theorem Trivialization.coordChange_same

Modification history