Theorem Prod.fst_vsub

Modification history