Theorem iff_def'

Modification history