Theorem exists_swap

Modification history

2026-03-26 22:21

Mathlib/Logic/Basic.lean

chore(Logic): deprecate `forall_swap` and `exists_swap` (#37164) …

Deleted exists_swap View on Github →

2022-10-24 15:16

Mathlib/Logic/Basic.lean

feat: port Logic/Basic (#484) …

Added exists_swap View on Github →