Theorem List.getI_eq_nthLe

Modification history