Theorem ApplicativeTransformation.preserves_map'

Modification history