Commit 2025-04-22 08:56 ef91d94f
View on Github →chore(Group/Pointwise/Interval): generalize some lemmas (#23857) .. from a linear ordered field to a linear ordered semifield or a group with zero.
chore(Group/Pointwise/Interval): generalize some lemmas (#23857) .. from a linear ordered field to a linear ordered semifield or a group with zero.