Theorem prod_mk_Lin

Modification history