The source project of this merge request has been removed.
Additivity theory
Added super and subadditive theories.
You will notice that the super-additive theory is way bigger. This is because I developed it a lot while creating the delta-min theory a while ago.