shortlog
| Wed, 30 Apr 2025 00:48:56 -0500 | Tuomo Valkonen | factor_of_strong_convexity | changeset | files |
| Wed, 30 Apr 2025 00:29:16 -0500 | Tuomo Valkonen | Missing restriction in Conjugable | changeset | files |
| Wed, 30 Apr 2025 00:23:04 -0500 | Tuomo Valkonen | Added missing derives | changeset | files |
