Theorem Associates.factors_subsingleton

Modification history