Theorem IncidenceAlgebra.coe_constSMul

Modification history