Theorem List.getElem_splitWrtComposition'

Modification history