HomeIsabelle/Phabricator

Finite Fields: Add more general lower estimate for cardinality of irreducibleā€¦

Description

Finite Fields: Add more general lower estimate for cardinality of irreducible polynomials.

Details