From: Michael Orlitzky Date: Sat, 4 Feb 2023 17:12:03 +0000 (-0500) Subject: eja: drop "FiniteDimensional" prefix everywhere. X-Git-Url: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;ds=sidebyside;h=c38ce6eab53954221d4f944ea0ad4ac27f323023;hp=c38ce6eab53954221d4f944ea0ad4ac27f323023;p=sage.d.git eja: drop "FiniteDimensional" prefix everywhere. ---