Theorem intrinsicFrontier_eq_frontier_of_span

Modification history