Theorem List.get_splitWrtComposition

Modification history