P
Initializing...
Symmetric lifting lemma: reflection-closed even completion absorbs an odd target · Prove2Me