Theorem Order.bot_lt_krullDim

Modification history