Commit 2025-04-23 05:31 4b04f43f
View on Github →chore: spell results using PreservesFiniteProducts (#24293)
I believe these were written before PreservesFiniteProducts was a thing.
Take the opportunity to make anonymous dot notation available.
From Toric