Theorem Equiv.swap_apply_def

Modification history