HomeIsabelle/Phabricator

new entry Finitely_Generated_Abelian_Groups

Description

new entry Finitely_Generated_Abelian_Groups

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFPaea1cfc63762: remove duplicate entry in metadata
Branches
Unknown
Tags
Unknown