Theorem List.getElem_splitWrtComposition

Modification history