Theorem forall_swap

Modification history

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 →