up
previous
next
MinGensGeneral [OBSOLESCENT]
-- [OBSOLESCENT] renamed to MinSubsetOfGens
Description
Renamed to
MinSubsetOfGens
(more expressive).