Commit 2023-10-23 05:48 16ab7ddd

View on Github →

fix: Make rightInverse_inv use RightInverse. (#7792) fix: Make rightInverse_inv use RightInverse.

Estimated changes

modified theorem rightInverse_inv