The explanation of A==B of PermGroup is: Check equality for A’s value and B’s one and A’s key and B’s one. But, what does "value" mean?
Check Japanese translation, too.
