Overview Issues Merge Requests

Merge Requests

Open Merged Closed

Definition 29: fix typographical error in constant DRG

#3mcrtyskr4u22 opened by did:plc:jjiv56ot7d6sgethto3jr3r5 Jan 19, 2026

Construction 32, Computation 33: path object => reflexive graph

#3mcrtyskrd422 opened by did:plc:jjiv56ot7d6sgethto3jr3r5 Jan 19, 2026

Lemma 41: strengthening to a quasi-inverse

#3mcrtyskrfp22 opened by did:plc:jjiv56ot7d6sgethto3jr3r5 Jan 19, 2026

Acknowledge Ian Ray

#3mcrtyskrif22 opened by did:plc:jjiv56ot7d6sgethto3jr3r5 Jan 19, 2026

Back to repository