Androma

Laver Function Theorem for Supercompact Cardinals (Theorem # 7425)

Discrete Mathematics Set Theory

Discussion

Proof under construction

Proof under construction

A complete reviewed proof has not been accepted yet.