Theorem Pretrivialization.mk_proj_snd

Modification history