Sha256: 267df9a07c2524ddfe90ffb230634835f4bc740f0bc71a6beb28834370ebcc26

Contents?: true

Size: 420 Bytes

Versions: 0

Compression:

Stored size: 420 Bytes

Contents

xR]K@-"i~؂l	>-RAa.E,43q>vs:r9s35wBu	gIq?qs1V0;NQ{R٪Cw<I
v#B3}`@Q&XƐKZ8o~.3iQP.W`;V)~>+)٣pMq4E4Uo<<Nm,j:gN(w!hk*ܐk;>n	^,5CLUHݢ{Z&iZEbb}ag
02PP$"}M
ȧ<	}CQiup7cznf׏w[u\(Gwg.RLl).'$}/!

Quick Spec version

plurimath-0.7.2