Theorem Irrational.of_add_natCast

Modification history