Theorem imp_forall_iff_forall

Modification history

2025-01-05 03:32

Mathlib/Logic/Basic.lean

chore: bump toolchain to v4.16.0-rc1, and merge bump/v4.16.0 (#20464)

Modified imp_forall_iff_forall View on Github →

2024-11-13 15:42

Mathlib/Logic/Basic.lean

feat: add imp_forall_iff_forall (#18455) …

Added imp_forall_iff_forall View on Github →