docs: add another equivalence for the implication operator#13232

Mic92 merged 1 commit intoNixOS:masterNixOS/nix:masterfrom

gwennlbh:clarify-implication-operatorgwennlbh/nix:clarify-implication-operatorCopy head branch name to clipboard