Theorem Pell.re_pellZd

Modification history