Commit 2025-03-25 21:03 b3fa3dd1
View on Github →refactor: remove duplicate mul_comm fields (#23289)
This is extracted from #9642, which took on too much and tried to eliminate dist_eq and norm_mul_le duplicates at the same time.
refactor: remove duplicate mul_comm fields (#23289)
This is extracted from #9642, which took on too much and tried to eliminate dist_eq and norm_mul_le duplicates at the same time.