Theorem Order.coheight_eq_iSup_gt_coheight

Modification history