| http://www.w3.org/ns/prov#value | - And the nice thing is that you only have to prove it for one mathematical object called a group and then you just sort of check to see if these objects that you run across in your studies fulfil the certain handful of axioms and then since you have already done all the work, you do not have to do all the work for proving all the theorems for it again.0540
|
