Theorem intrinsicInterior_eq_interior_of_span

Modification history