Theorem IsClosed.frontier_eq

Modification history