Theorem Hyperreal.isSt_trans_real

Modification history