Returns true iff both irreps belong to the same (mathematical) symmetry and are the same irrep.
References ferm, group, and label.