Move ≡-Reasoning from Core to Properties and implement using syntax#2159

MatthewDaggitt merged 1 commit intomasteragda/agda-stdlib:masterfrom

propositional-reasoningagda/agda-stdlib:propositional-reasoningCopy head branch name to clipboard