Theorem IncidenceAlgebra.zeta_of_le

Modification history