Theorem List.nil_kunion

Modification history