agda-mugen icon indicating copy to clipboard operation
agda-mugen copied to clipboard
verified publisher icon RedPRL

Define the category of displacements

Open favonia opened this issue 2 years ago • 0 comments

favonia avatar Dec 03 '23 11:12 favonia