]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
Add a test for K.is_proper() <==> pi(K).is_proper().
authorMichael Orlitzky <michael@orlitzky.com>
Wed, 25 Nov 2015 01:40:57 +0000 (20:40 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Wed, 25 Nov 2015 01:40:57 +0000 (20:40 -0500)

No differences found