verify: attempt theorem_pae_injective_on_types proof (audit C-1 progress)#116

avrabe merged 1 commit into

mainpulseengine/sigil:mainfrom

verify/theorem-pae-injective-on-typespulseengine/sigil:verify/theorem-pae-injective-on-typesCopy head branch name to clipboard