|
|
|
|
|
|
by Jweb_Guru
1826 days ago
|
|
|
Nope, proving something is a group doesn't usually run into foundational concerns (at least if you use setoid equality). But finding a function exhibiting a homomorphism can unless you use a functional relation instead (but then you lose most of the nice benefits of using this version of the definition in the first place). |
|
|