Theorem integral_re

Modification history