Theorem Pretrivialization.apply_mk_symm

Modification history