Theorem Trivialization.coordChange_apply_snd

Modification history