Commit 2023-08-24 16:07 2deb01ba

View on Github →

chore: rename 2 lemmas (#6767)

  • ChartedSpace.locallyCompact → ChartedSpace.locallyCompactSpace
  • ModelWithCorners.locally_compact → ModelWithCorners.locallyCompactSpace

Estimated changes