Theorem minpolyDiv_spec

Modification history