Theorem HasProd.of_sigma

Modification history