Searched refs:id748 (Results 1 – 2 of 2) sorted by relevance
3 #W id748.z GAP library of id's Hans Ulrich Besche
7626 Expr id748=vc->notExpr(id749); in testgeorge3() local11332 vc->query(id748); in testgeorge3()