Theorem Trivialization.mk_proj_snd'

Modification history