Commit 2023-10-29 20:49 7b409262

View on Github →

chore: coe_ratCast remove note (#8017) Applies the suggestion in the porting note

Estimated changes

modified theorem algebraMap.coe_ratCast