A General Framework For Proving The Equivariant Strong Lottery Ticket Hypothesis