|
(Mathematical Results) Facts in Mathematics are propositions. a(b + c) = ab + ac H isa subgroup of G => (a in G & b in G => ab in G) |
Facts in mathematics are propositions which have been proved as theorems. For example in algebra the distributive law: a(b + c) = ab + ac An example from Group theory: If H is a subgroup of G, then it follows that if a and b are in G then ab is also in G. |
|
|
|
|
|
|