Structures · Topology
ProperVAdd
Proper group action in the sense of Bourbaki:
the map G × X → X × X is a proper map (see IsProperMap).
- Shape
- 2 explicit arguments · adds isProperMap_vadd_pair
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances2
- Subtype
- AddOpposite
How is a type an instance?
Loading the hierarchy index…
Assumed by10
- ProperVAdd.isProperMap_vadd_pair
- ProperVAdd.isCompact_setOfPred_inter_nonempty
- ProperVAdd.isProperMap_vadd_pair_set
- t2Space_of_properVAdd_of_t1AddGroup
- instProperVAddSubtypeMemAddSubgroupOfIsClosedCoe
- ProperVAdd.isCompact_setOf_inter_nonempty
- properVAdd_of_isClosedEmbedding
- t2Space_quotient_addAction_of_properVAdd
- IsClosed.vadd_right_of_isCompact
- ProperVAdd.toContinuousVAdd
Ancestors0
No ancestors.