Theorem cfcHom_predicate

Modification history