Theorem Order.coheight_eq_coe_add_one_iff

Modification history