Theorem continuous_clm_apply

Modification history