Commit 2024-04-15 19:14 b0fff6f5
View on Github →chore: rename StarOrderedRing convenience constructors (#12089)
StarOrderedRing was recently turned into a Prop mixin. This renames the convenience constructors to adhere to the naming convention for theorems vs. defs.