[P1] Explicit postulate sweep (Fork A)#189

hyperpolymath merged 1 commit into

mainhyperpolymath/proven:mainfrom

fix-158-bodyless-postulateshyperpolymath/proven:fix-158-bodyless-postulatesCopy head branch name to clipboard