Theorem isIntegral_trans_aux

Modification history