Theorem Set.interₛ_prod_interₛ

Modification history