(Q4004)

Statements

0 references
Isabelle
0 references
Gonzalez-Mullier
0 references