berenoguz / Math

Formalization of Mathematics using Type Theory of Agda Programming Language
GNU General Public License v3.0
11 stars 0 forks source link

Cosets #6

Closed berenoguz closed 6 years ago

berenoguz commented 6 years ago

It seems like subgroups will be tricker? (requires a bit of set theory?) But cosets and division might be doable before them.