Theorem PrimrecRel.listFilter

Modification history