HomeIsabelle/Phabricator

metadata for Finite_Fields (and missing <> for two previous entries)

Description

metadata for Finite_Fields (and missing <> for two previous entries)

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFPebe38e23240d: new entry: Finite_Fields
Branches
Unknown
Tags
Unknown