monae icon indicating copy to clipboard operation
monae copied to clipboard

Published 20 hours ago • verified publisher icon affeldt-aist

Proofs from Keimel's paper

Open t6s opened this issue 3 years ago • 0 comments

The branch keimel contains proofs of some significant lemmas. Let us incorporate them into somewhere in the master as soon as one remaining admit is completed.

t6s avatar Jun 09 '21 08:06 t6s