Theorem List.get?_eq_get

Modification history