Theorem List.arg_aux_self

Modification history