Theorem Order.coheight_eq_coe_iff_maximal_le_coheight

Modification history