Theorem Tactic.NormNum.isNNRat_nnrealSqrt_of_isNNRat

Modification history