Commit 2024-10-21 06:32 a60b09cd

View on Github →

refactor(SetTheory/Ordinal/Arithmetic): deprecate blsub₂ (#17679) See the new docstring of blsub₂ for the reasoning.

Estimated changes