Mathlib v3 is deprecated. Go to Mathlib v4

Theorem intrinsic_frontier_subset_intrinsic_closure

Modification history