Theorem List.get_eq_get?

Modification history