Theorem Trivialization.mk_coordChange

Modification history