Theorem integrable_cfc'

Modification history