Theorem Ideal.ofList_append

Modification history