Commit 2025-07-13 20:41 d82d5c68

View on Github →

refactor: remove superfluous assumption in iInf_invariant (#27080)

Estimated changes

modified theorem LinearMap.iInf_invariant