Theorem closure_of_rat_image_lt

Modification history