Skip to content

Add lemmas about well-formedness of detachOpIfAttached#80

Merged
tobiasgrosser merged 1 commit intomainfrom
math-fehr/detachOpIfAttached-wf
Jan 4, 2026
Merged

Add lemmas about well-formedness of detachOpIfAttached#80
tobiasgrosser merged 1 commit intomainfrom
math-fehr/detachOpIfAttached-wf

Commits

Commits on Jan 3, 2026