Commit 2023-01-09 12:38 09130624

View on Github →

feat: port Algebra.Star.Pi (#1432)

Estimated changes

added theorem Function.star_sum_elim
added theorem Function.update_star
added theorem Pi.single_star
added theorem Pi.star_apply
added theorem Pi.star_def