Theorem Pretrivialization.mk_proj_snd'

Modification history