Commit 2020-07-19 06:24 33544763
View on Github →feat(data/indicator_function): more lemmas (#3424)
Add some lemmas of use when using set.indicator
to manipulate
functions involved in summations.
feat(data/indicator_function): more lemmas (#3424)
Add some lemmas of use when using set.indicator
to manipulate
functions involved in summations.