Theorem Hyperreal.IsSt.inv

Modification history