Theorem Set.MapsTo.inv

Modification history

2025-03-29 10:26
Mathlib/Algebra/Group/Pointwise/Set/Basic.lean
feat: generalize Mathlib.Algebra.Group+Ring+Field (#23143) …
Modified Set.MapsTo.invView on Github →
2024-12-17 16:57
Mathlib/Algebra/Group/Pointwise/Set/Basic.lean
feat: pointwise MapsTo lemmas (#19999)
Added Set.MapsTo.invView on Github →