Theorem ApplicativeTransformation.preserves_pure

Modification history