From: Michael Orlitzky <michael@orlitzky.com>
Date: Fri, 12 Jun 2015 22:25:00 +0000 (-0400)
Subject: Remove unused codim() function.
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=4418c497a443fb1f5cb068ced5a2ddd5a9a0ad05;hp=4418c497a443fb1f5cb068ced5a2ddd5a9a0ad05;p=sage.d.git

Remove unused codim() function.
---