theHigherGeometer on Nostr: The definition in those four lines (of a putative "action" of a group on a set) ...

The definition in those four lines (of a putative "action" of a group on a set) relied on a claim ("Recall that...") a bit further down that was just outright false. That's where the flippancy was.