Theorem Ball.imp_left

Modification history

2022-10-24 15:16

Mathlib/Logic/Basic.lean

feat: port Logic/Basic (#484) …

Deleted Ball.imp_left View on Github →

2022-10-08 09:24

Mathlib/Logic/Basic.lean

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

Added Ball.imp_left View on Github →