add number_of_generators
for UniversalPolyRing
#660
Loading
number_of_generators
for UniversalPolyRing
#660