Theorem Set.LeftInvOn.image_inter'

Modification history