Theorem ApplicativeTransformation.preserves_map

Modification history