Theorem Prod.fst_vadd

Modification history