Theorem IsOpen.smul₀

Modification history