Commit 2025-04-23 20:46 55b90745

View on Github →

chore(InnerProductSpace): follow the naming convention (#24250) A lot of mentions to re were ommitted, but not all, which makes it extra confusing.

Estimated changes