Commit 2024-01-12 09:21 52bef362
View on Github →chore(Topology/PartialHomeomorph): re-use one variable (#9630) General housekeeping; this also makes re-naming the types to Greek letters easier.
chore(Topology/PartialHomeomorph): re-use one variable (#9630) General housekeeping; this also makes re-naming the types to Greek letters easier.