Theorem exists_int_gt

Modification history