Theorem List.getLast_singleton'

Modification history