Theorem or_self_iff

Modification history

2023-11-02 03:46

Mathlib/Init/Logic.lean

chore: bump Std to Std#340 (#8104)

Deleted or_self_iff View on Github →

2022-10-24 02:02

Mathlib/Init/Logic.lean

feat: align `init.{core, logic}` (#490) …

Added or_self_iff View on Github →