Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mul_action.quotient_preimage_image_eq_union_mul

Modification history

2022-08-17 14:53
src/group_theory/group_action/basic.lean
chore(group_theory/*): Fix lint (#16095) …
Deleted mul_action.quotient_preimage_image_eq_union_mulView on Github →
2022-01-25 17:30
src/group_theory/group_action/basic.lean
feat(topology/algebra/mul_action2): quotient by a properly discontinuous group action is t2 (#10465) …
Added mul_action.quotient_preimage_image_eq_union_mulView on Github →