proofSchemaIds

Filter by associated proof schemas.