Theorem dite_prop_iff_and

Modification history

2024-08-12 18:29

Mathlib/Logic/Basic.lean

chore: move to v4.11.0-rc2 (new `variable` command) (#15726)

Modified dite_prop_iff_and View on Github →

2023-10-02 06:27

Mathlib/Logic/Basic.lean

feat: some lemmas about List and ZMod (#7424)

Added dite_prop_iff_and View on Github →