New Fact : All Args real implies Mul of Args is real and Addition of Args is real
Space after comma added
Space after commas added
New fact about multiplication being commutative in case of real arguments
Extra import and space removed
Merge pull request #55 from shiprabanga/newassump

New Fact : All Args real implies Mul of Args is real and Addition of Arg...