Theorem Order.krullDim_nonpos_of_subsingleton

Modification history