Name		Name	Last commit message	Last commit date
Latest commit History 90 Commits
.GyroVectorSpace.thy.marks		.GyroVectorSpace.thy.marks
.gitignore		.gitignore
Einstein.thy		Einstein.thy
GammaFactor.thy		GammaFactor.thy
GyroGroup.thy		GyroGroup.thy
GyroVectorSpace.thy		GyroVectorSpace.thy
HyperbolicFunctions.thy		HyperbolicFunctions.thy
MobiusGyroGroup.thy		MobiusGyroGroup.thy
MobiusGyroVectorSpace.thy		MobiusGyroVectorSpace.thy
MoreComplex.thy		MoreComplex.thy
README.md		README.md
VectorSpace.thy		VectorSpace.thy