Commit 2023-11-28 09:41 39b23fff

View on Github →

feat: Add IsAlgebraic.inv_iff. (#8651)

Estimated changes

added theorem IsAlgebraic.invOf
added theorem IsAlgebraic.invOf_iff
added theorem IsAlgebraic.inv_iff