]> gitweb.michael.orlitzky.com - sage.d.git/search
Only check=False when K is proper (can't prove it otherwise).