Theorem List.getLast_congr

Modification history