Group implies G-loop

Statement
A group is a G-loop. In other words, if a group and an fact about::algebra loop are isotopic, then the algebra loop is also a group and the two groups are isomorphic.

Related facts

 * Stronger than::Isotopic groups are isomorphic

Converse

 * G-loop not implies group