Theorem isClosed_eq

Modification history