Theorem Pretrivialization.apply_symm_apply'

Modification history