Theorem BoxIntegral.Box.mapsTo_insertNth_face

Modification history