Ciro Santilli
🔗

Formal proof | 🗖 nosplit | ↑ parent "Formalization of Mathematics" | 14, 2, 14

🔗
A proof in some system for the formalization of Mathematics.
🔗
🔗