Theorem Finset.range_image_pred_top_sub

Modification history