Theorem Pell.xy_coprime

Modification history