Hoang Giang Share
Janusz
办美国文凭加拿大文凭澳洲文凭英国文凭学位证毕业证成绩单
Veinas bọt EPE máy móc
Wendy Ye
[Formalising math 2022] Section 03: groups. Playing with variants of the axioms.
234 views
2 years ago
[Formalising math 2022] Section 03: groups. Playing with variants of the axioms.
234 views
2 years ago
[Formalising math 2022] Section 03: groups. Playing with variants of the axioms.
![[Formalising math 2022] Section 03: groups. Playing with variants of the axioms.](http://i.ytimg.com/vi/Qh5giF6DlZ8/mqdefault.jpg "[Formalising math 2022] Section 03: groups. Playing with variants of the axioms.")
![[Formalising math 2022] Section 03: groups, solns to sheet 1 (basic definitions and theorems)](http://i.ytimg.com/vi/myPZ7D7xyvs/mqdefault.jpg "[Formalising math 2022] Section 03: groups, solns to sheet 1 (basic definitions and theorems)")
![[Formalising math 2022] Section 03: groups, solns to sheet 3 (subgroups)](http://i.ytimg.com/vi/VcXsl9hqR7c/mqdefault.jpg "[Formalising math 2022] Section 03: groups, solns to sheet 3 (subgroups)")
![[Formalising math 2022] Section 03: groups, boilerplate for subgroups](http://i.ytimg.com/vi/N5jl5lTVPGQ/mqdefault.jpg "[Formalising math 2022] Section 03: groups, boilerplate for subgroups")
