Theorem Set.inv_range'

Modification history

2026-03-13 08:20
Mathlib/Algebra/Group/Pointwise/Set/Basic.lean
feat: supporting lemmas for theory of bases in Lie theory (#36297) …
Added Set.inv_range'View on Github →