Theorem Module.mapEvalEquiv_apply

Modification history