Theorem frontier_union_subset

Modification history