From: Michael Orlitzky Date: Sat, 4 Feb 2023 12:13:27 +0000 (-0500) Subject: TODO: drop "FiniteDimensional" everywhere. X-Git-Url: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=1b030ce345a244815a8317f7e8a95114c16c330b;hp=1b030ce345a244815a8317f7e8a95114c16c330b;p=sage.d.git TODO: drop "FiniteDimensional" everywhere. ---