Theorem Rat.infinitePlace_apply

Modification history