Theorem WellFounded.eq_strictMono_iff_eq_range

Modification history