Theorem Order.coheight_eq_iSup_head_eq

Modification history