Yeah, that everyone pseudo-group is a tricksy one. I think there are plans to remove it from those type of settings soon to prevent it misleading more people. TL0 is the group that would work for this.
Yeah, that everyone pseudo-group is a tricksy one. I think there are plans to remove it from those type of settings soon to prevent it misleading more people. TL0 is the group that would work for this.