Theorem swap_integral

Modification history