Theorem cfcₙ_eq_cfcₙL

Modification history