Theorem trop_infₛ_image

Modification history