[Refactor] Change ⊥-elim to contradiction in `src/Codata/Guarded/Stream/Relation/Unary/Any`#2652

Taneb merged 1 commit intoagda:masteragda/agda-stdlib:masterfrom

jmougeot:contradiction1jmougeot/agda-stdlib:contradiction1Copy head branch name to clipboard