Theorem WType.leftInverse_list

Modification history