Theorem List.nthLe_set_eq

Modification history