Theorem List.kreplace_self

Modification history