Theorem InvImage.irreflexive

Modification history