Theorem Equiv.Set.insert_symm_apply_inl

Modification history