Theorem finiteDimensionalOrder_or_infiniteDimensionalOrder

Modification history