Theorem and_symm_right

Modification history

2024-04-19 20:51

Mathlib/Logic/Basic.lean

chore(Logic): reduce use of autoImplicit (#12135) …

Modified and_symm_right View on Github →

2022-09-08 18:38

Mathlib/Logic/Basic.lean

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

Modified and_symm_right View on Github →

2021-10-05 12:20

Mathlib/Logic/Basic.lean

feat: List.product (#59)

Added and_symm_right View on Github →