Theorem Order.exists_series_of_coheight_eq_coe

Modification history