Commit 2025-05-07 11:29 fa38dd25

View on Github →

chore: adaptations for batteries#1225 (#24625)

Estimated changes

added theorem Rat.num_mk