Theorem cfc_unitary_iff

Modification history