Foundational temp4

Foundational temp3 $\succ$ Foundational temp4 $\succ$ Foundational temp formal power series

Guide

Parents

Sequel of

Foundational temp3

Foundational temp3