Theorem Tactic.NormNum.isRat_realSqrt_of_isRat_ofNat

Modification history