Theorem Equiv.Set.insert_apply_right

Modification history