UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

lean4-code-actions / libs / utils / Map

3 files

	Filename	Content Type	Size
	../
	add.ts	text/typescript	430 B
	getSymmetricMap.ts	text/typescript	364 B
	modify.ts	text/typescript	392 B