Theorem integral_conj

Modification history