Theorem forall_swap

Modification history

2026-03-26 22:21

Mathlib/Logic/Basic.lean

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

Deleted forall_swap View on Github →

2024-07-16 07:40

Mathlib/Logic/Basic.lean

chore(Logic/Function/Defs): move file out of Init (#14754)

Modified forall_swap View on Github →

2022-10-08 09:24

Mathlib/Logic/Basic.lean

feat: minimal port of `Fintype (Fin n)` (#433) …

Added forall_swap View on Github →