Theorem frontier_inter_subset

Modification history