Theorem List.argAux_self

Modification history