Theorem List.splitWrtComposition_flatten

Modification history