Theorem Module.apply_evalEquiv_symm_apply

Modification history