Theorem Equiv.swap_apply_eq_iff

Modification history