Theorem intervalIntegrable_of_even

Modification history