Theorem List.kunion_kerase

Modification history