Theorem Nat.factors_sublist_right

Modification history