Theorem not_infiniteDimensionalOrder_iff

Modification history