Ciro Santilli
🔗

Ordered pair | 🗖 nosplit | ↑ parent "Formalization of Mathematics" |

🔗
🔗