Theorem cfcL_integral

Modification history