Theorem WithTop.map_sub

Modification history

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