Theorem Hyperreal.coe_max

Modification history