Theorem WType.elim_injective

Modification history