Theorem Order.coheight_eq_index_of_length_eq_head_coheight

Modification history