Theorem exists_prop

Modification history

2022-09-08 18:38

Mathlib/Logic/Basic.lean

chore: bump std4 09-08 (#403) …

Deleted exists_prop View on Github →

2022-06-23 18:33

Mathlib/Logic/Basic.lean

chore: fix unused variables from linter (#289) …

Modified exists_prop View on Github →

2021-10-05 12:20

Mathlib/Logic/Basic.lean

feat: List.product (#59)

Added exists_prop View on Github →