Theorem List.groupBy_nil

Modification history