Sha256: 4d5adc9c775be336be1ffbf49c9b6927d3eb2a74f3cab8dd4cba030e609ec1bf

Contents?: true

Size: 408 Bytes

Versions: 0

Compression:

Stored size: 408 Bytes

Contents

xR[K0*Zn(
R>lCRNU=]`Mj.?3-@ڼ$|z)$%fϬkwNss1ll$Kc=rH%͂{RYVߡ۵I
v#BR'eԵE[]@j\ϸݝJrIHcW~ Nݶ޻em\i|ۯ
\Ax28ֳX1`UГp]mf$!VC)yԧY$K=ҘFH6 PBɆBA8/J>IP2)i)j1=2\ZTnVËNwyNge˛
q?7&j

Quick Spec version

plurimath-0.3.6