Theorem List.some_nthLe_eq

Modification history