Theorem Prod.to_sigma_mk

Modification history