Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Gromov_Hyperbolicity: improved formulation
Changeset 8831:de6627121446 by sgouezel:
Gromov_Hyperbolicity: improved formulation
The file was modified thys/Gromov_Hyperbolicity/Bonk_Schramm_Extension.thy (diff)
The file was modified thys/Gromov_Hyperbolicity/Gromov_Hyperbolicity.thy (diff)