Theorem cfcₙ_apply_mkD

Modification history