Theorem IncidenceAlgebra.zeta_prod_apply

Modification history