Theorem Rel.image_inter

Modification history