Theorem Pell.isPell_norm

Modification history