Theorem not_finiteDimensionalOrder_iff

Modification history