Theorem WType.rightInverse_list

Modification history