Derive Macro VerifyGroup 

#[derive(VerifyGroup)]
{
    // Attributes available to this derive:
    #[verify]
}

Re-export derive macros when the derive feature is enabled. Derive VerifyGroup: generates proptest for left/right inverse.

Requires: T: Group + Clone + Debug + PartialEq