Ciro Santilli
🔗

Real number | 🗖 nosplit | ↑ parent "Formalization of Mathematics" | 3, 2, 3

🔗
🔗
🔗