Commit 2023-01-19 04:57 86f1c3f7

View on Github →

feat: port Data.Rat.BigOperators (#1660)

Estimated changes

added theorem Rat.cast_list_prod
added theorem Rat.cast_list_sum
added theorem Rat.cast_multiset_prod
added theorem Rat.cast_multiset_sum
added theorem Rat.cast_prod
added theorem Rat.cast_sum