Theorem IsOpen.frontier_eq

Modification history