Theorem List.nil_not_mem_groupBy

Modification history