Commit 2025-02-20 08:28 c3c9f71b
View on Github →chore(Topology): rename CWComplex.mapsto to CWComplex.mapsTo (#22106)
Renames RelCWComplex.mapsto and CWComplex.mapsto to be more in line with the naming convention; see zulip.
chore(Topology): rename CWComplex.mapsto to CWComplex.mapsTo (#22106)
Renames RelCWComplex.mapsto and CWComplex.mapsto to be more in line with the naming convention; see zulip.