Skip to content

Equivalences of concrete groups are isomorphisms of concrete groups #736

New issue
New issue
Open
Open
Equivalences of concrete groups are isomorphisms of concrete groups#736
Labels
good first issueGood for newcomersgroup-theory
@fredrik-bakke

Description

@fredrik-bakke
fredrik-bakke
opened on Sep 10, 2023

This is not yet formalized in the library:

  • Equivalences of concrete groups are isomorphisms of concrete groups

Metadata

Metadata

Assignees

No one assigned

    Labels

    good first issueGood for newcomersgroup-theory

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions