Skip to content

Latest commit

 

History

History
7 lines (6 loc) · 121 Bytes

File metadata and controls

7 lines (6 loc) · 121 Bytes
space S000077
property P000065
value true

By construction, as $\mathfrak c \cdot \mathfrak c = \mathfrak c$.