Theorem WType.leftInverse_nat

Modification history