AddTorsor

📁 Source: Mathlib/Topology/Algebra/ProperAction/AddTorsor.lean

Statistics

Metric	Count
Definitions AddTorsor	1
Theorems instProperVAdd	1
Total	2

(root)

Definitions

Name	Category	Theorems
AddTorsor 📖	CompData	—

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
instProperVAdd 📖	mathematical	—	ProperVAdd AddTorsor.toAddAction	—	vadd_vsub vsub_vadd Continuous.prodMk Continuous.vadd IsTopologicalAddTorsor.toContinuousVAdd Continuous.fst continuous_id' Continuous.snd Continuous.vsub Homeomorph.isProperMap

---

← Back to Index