Def exactSubsetOfSSubset

Modification history

2025-06-13 14:34
Mathlib/Order/Lattice.lean
chore(grewrite): import `gcongr` and `grewrite` in `Tactic.Common` (#25773) …
Deleted exactSubsetOfSSubsetView on Github →
2024-02-12 09:20
Mathlib/Order/Lattice.lean
chore(Tactic/GCongr): move `@[gcongr]` tags around (#9393) …
Modified exactSubsetOfSSubsetView on Github →
2023-12-04 23:32
Mathlib/Tactic/GCongr.lean
refactor: code cleanup in gcongr (#8796) …
Added exactSubsetOfSSubsetView on Github →