Commit 2024-01-09 09:25 4c48de09
View on Github →chore(Topology/Maps): rename type variables (#9548) This file was mostly using Greek letters, but used letters X, Y, Z in comments and one theorem. Switch to using the latter consistently, per Zulip discussion.