jonmsterling.com / reflexive-graph-lenses-paper
this repo has no description
fork atom

Definition 29: fix typographical error in constant DRG #1

merged opened by jonmsterling.com targeting main from push-sxlklnpmzkpy

From Ian Ray.

STACK 4
#4 Acknowledge Ian Ray
0
#0
#3 Lemma 41: strengthening to a quasi-inverse
0
#0
#2 Construction 32, Computation 33: path object => reflexive graph
0
#0
#1 Definition 29: fix typographical error in constant DRG
0
#0
Labels

None yet.

assignee

None yet.

Participants 1
AT URI
at://did:plc:jjiv56ot7d6sgethto3jr3r5/sh.tangled.repo.pull/3mcrtyskr4u22
+1 -1
Diff #0
unified split
+1 -1
nodes/rx-gph-constructions.tex
··· 105 105 \begin{align*} 106 106 \vrt{\gA^*\gB}\prn{x} 107 107 & :\equiv 108 - \vrt{\gB}\prn{x} 108 + \vrt{\gB} 109 109 \\ 110 110 u \Edge{\gA^*\gB}[p] v 111 111 & :\equiv

History

1 round 0 comments
sign up or login to add to the discussion
jonmsterling.com submitted #0
1 commit
expand
4e8dfeae
Definition 29: fix typographical error in constant DRG
expand 0 comments
pull request successfully merged