Mathlib v3 is deprecated. Go to Mathlib v4

Theorem box_integral.box.maps_to_insert_nth_face

Modification history