Theorem PrimrecPred.listFilter_listRange

Modification history