User blog comment:Alemagno12/A formalization for Username5243's pi function (NO TRANSFINITE FSES)/@comment-30004975-20180616040130

Is it compatible with User's analysis?