Formalization of Mathematics using Type Theory of Agda Programming Language
GNU General Public License v3.0
11
stars
0
forks
source link
Abstract normal groups and prove that cosets of normal groups form a group #12
Closed
berenoguz closed 6 years ago
Normal groups are not abstracted but the theorem is proved. I think this is fine for now.