Theorem List.join_groupBy

Modification history