Theorem himp_eq_himp_iff

Modification history