Commit 2023-12-07 10:41 f516ea2c

View on Github →

chore: remove redundant integrality condition in IsSeparable (#8862)

Estimated changes

modified theorem IsSeparable.isIntegral