From: Michael Orlitzky <michael@orlitzky.com>
Date: Wed, 25 Nov 2015 01:40:57 +0000 (-0500)
Subject: Add a test for K.is_proper() <==> pi(K).is_proper().
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=57d2324bc518c736bcd3a754ca75874c202557ca;hp=57d2324bc518c736bcd3a754ca75874c202557ca;p=sage.d.git

Add a test for K.is_proper() <==> pi(K).is_proper().
---