Theorem Rat.isReal_infinitePlace

Modification history