Commit 2023-04-20 01:28 f1b02bec

View on Github →

feat: more algebra for LinearPMap (#3521)

Estimated changes

added theorem LinearPMap.add_apply
added theorem LinearPMap.add_domain
added theorem LinearPMap.neg_domain
added theorem LinearPMap.zero_apply
added theorem LinearPMap.zero_domain