Theorem Trivialization.mk_symm

Modification history