Theorem subset_refl

Modification history

2023-02-22 14:18

Mathlib/Order/RelClasses.lean

chore: update SHA of already forward-ported files (#2181) …

Modified subset_refl View on Github →

2023-01-11 08:02

Mathlib/Order/RelClasses.lean

feat: A set is either a subsingleton or nontrivial (#1047) …

Modified subset_refl View on Github →

2022-11-18 03:37

Mathlib/Order/RelClasses.lean

feat: port Order.RelClasses (#560) …

Added subset_refl View on Github →