Theorem BoxIntegral.Box.face_mk

Modification history