Theorem List.kunion_nil

Modification history