Theorem StrictMono.not_bddAbove_range_of_isSuccArchimedean

Modification history