Commit 2021-09-23 06:57 8a0d60ea
View on Github →chore(topology): rename compact_ball to is_compact_closed_ball (#9337) The old name didn't follow the naming convention at all, which made it hard to discover.
chore(topology): rename compact_ball to is_compact_closed_ball (#9337) The old name didn't follow the naming convention at all, which made it hard to discover.