Theorem norm_torusIntegral_le_of_norm_le_const

Modification history