Theorem Order.krullDim_le_one_iff_forall_isMax

Modification history