Theorem cfcₙ_eq_cfcₙL_mkD

Modification history