Theorem IncidenceAlgebra.one_prod_one

Modification history