added pt_bij' to the collection perm_swap and also added abs_perm to the collection of equivariance lemmas
added pt_bij' to the collection perm_swap and also added abs_perm to the collection of equivariance lemmas

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle