Theorem IncidenceAlgebra.prod_mul_prod

Modification history