Theorem WType.rightInverse_nat

Modification history