Theorem exists_ge_of_linear

Modification history