Theorem Module.End.genEigenrange_nat

Modification history