Theorem List.chain'_getLast_head_groupBy

Modification history