Theorem le_rfl
Modification history
2024-11-26 10:41
Mathlib/Order/Defs.lean
chore: split Order.Defs (#19498)
Modified le_rflView on Github →2024-08-22 12:56
Mathlib/Order/Defs.lean
chore(Order/Defs): Cleanup (#16059)
Modified le_rflView on Github →2024-03-28 17:08
Mathlib/Init/Order/Defs.lean
chore: move some aliases earlier (#11122)
Modified le_rflView on Github →2023-02-13 18:09
test/solve_by_elim/basic.lean
chore: rename register_tag_attr, and explain relation to registerTagAttribute (#2124) …
Modified le_rflView on Github →2023-01-19 22:25
test/solve_by_elim/basic.lean
feat: solve_by_elim using (attributes) (#1581)
Added le_rflView on Github →