Theorem monotone_stabilizes_iff_noetherian

Modification history