Theorem Stream'.cons_injective_left

Modification history