Commit 2023-08-13 08:45 6961667d

View on Github →

feat: add more algebraic instances for LinearPMap (#6538) We add some properties of subtraction and cleanup the naming of the old instances.

Estimated changes

added theorem LinearPMap.sub_apply
added theorem LinearPMap.sub_domain