Theorem forall_of_ball

Modification history

2025-01-06 10:15

Mathlib/Logic/Basic.lean

chore: remove >9 month old deprecations (#20505)

Deleted forall_of_ball View on Github →

2022-10-24 15:16

Mathlib/Logic/Basic.lean

feat: port Logic/Basic (#484) …

Added forall_of_ball View on Github →