Theorem Ideal.ofList_nil

Modification history