Theorem Pretrivialization.mk_symm

Modification history