]> gitweb.michael.orlitzky.com - sage.d.git/search
Add a test for K.is_proper() <==> pi(K).is_proper().