Theorem exists_rat_gt

Modification history