Sha256: da25bca0ed3f84d4da54da58d4c05a433ac758f83e3ea1bef7b102fcc5029f81

Contents?: true

Size: 434 Bytes

Versions: 0

Compression:

Stored size: 434 Bytes

Contents

xR]o0`J4	DxBKKdk(e%M/1(9~vMbźs1xV/,4Ap3١h}/ދo<OOfUL/<JpX~ijx?~=p]j6>oٲwY:1E/G_*:R9q-c{:>ǵ	\&'mojx0nM3k!_'jCρ	J4_ y1DB&yf	ܕk%	d
IrD6AV	dnIUv-]	'd<_	sQԪs>6X	#sH$	q.ʫv.Eq
wz~^-ϙ^_/&ϝTpw;*2XBPe0fh4

Quick Spec version

plurimath-0.8.10