Theorem Tactic.NormNum.isNNRat_realSqrt_of_isNNRat

Modification history