Theorem cfc_smul_id

Modification history