Theorem ApplicativeTransformation.preserves_seq

Modification history