Theorem Equiv.Set.insert_symm_apply_inr

Modification history