Theorem List.getLast?_eq_none

Modification history