Theorem frontier_empty

Modification history