Skip to content

Lemma B: step_preserves_type proof completion (#126) - #131

Merged
hyperpolymath merged 1 commit into
mainfrom
pr126-squash
May 24, 2026
Merged

Lemma B: step_preserves_type proof completion (#126)#131
hyperpolymath merged 1 commit into
mainfrom
pr126-squash

Lemma B: step_preserves_type proof completion (#126)

c7a6e77
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar