Theorem Stream'.map_eq_apply

Modification history