Theorem support_factorization

Modification history