Def GCongr.exactSubsetOfSSubset

Modification history

2025-11-19 06:07
Mathlib/Order/RelClasses.lean
chore: move Mathlib to the module system (#31786) …
Deleted GCongr.exactSubsetOfSSubsetView on Github →
2025-06-13 14:34
Mathlib/Order/RelClasses.lean
chore(grewrite): import `gcongr` and `grewrite` in `Tactic.Common` (#25773) …
Added GCongr.exactSubsetOfSSubsetView on Github →