Theorem IsClosed.inter

Modification history