Theorem isClosed_diagonal

Modification history