jwbober/sqrt5 — comment on commit ebe33faab725321fb11ed4eaa6cbdb1e0c3ae541
File: code.sage line 223
By williamstein:

Good point!