Added report for \in on GrigorchukTwistedTwin
Fixed dependence on LpGroup
Fixed indentation