Theorem WithTop.sub_top

Modification history

2024-06-11 07:52
Mathlib/Algebra/Order/Sub/WithTop.lean
chore: fix diamond for WithTop subtraction (#13715) …
Modified WithTop.sub_topView on Github →
2022-12-10 17:30
Mathlib/Algebra/Order/Sub/WithTop.lean
feat port: Algebra.Order.Sub.WithTop (#932) …
Added WithTop.sub_topView on Github →