stripped_syz

resterm* res_pair::stripped_syz

Definition at line 55 of file res-a1-poly.hpp.