Theorem Function.Semiconj₂.id_left

Modification history