Theorem iff_self_and

Modification history