Theorem Polynomial.ofNat_comp

Modification history