Theorem isClosed_le'

Modification history