Theorem List.kreplace_of_forall_not

Modification history