Theorem Order.bot_lt_krullDim_iff

Modification history