Theorem Real.sin_arctan_strictMono

Modification history