Commit 2023-12-09 23:54 a4d7dadf

View on Github →

feat: ¬ Subsingleton α ↔ Nontrivial α (#8926)

Estimated changes