File tree Expand file tree Collapse file tree 3 files changed +7
-7
lines changed
Expand file tree Collapse file tree 3 files changed +7
-7
lines changed Original file line number Diff line number Diff line change @@ -71,7 +71,6 @@ export {
7171 -- Functors
7272 " hh" , -- TODO: should this be defined in Core?
7373 " OO" ,
74- " RHom" ,
7574 -- Symbols
7675 " GlobalSectionLimit" ,
7776 " SaturationMap" ,
Original file line number Diff line number Diff line change 11export {
2+ " RHom" ,
23 }
34
45-- ---------------------------------------------------------------------------
Original file line number Diff line number Diff line change @@ -4,13 +4,13 @@ export {
44 -- Methods
55 " sheafMap" ,
66-- "isLiftable",
7- " yonedaSheafExtension" ,
7+ -- "yonedaSheafExtension",
88-- "yonedaSheafExtension'",
9- " cotangentSurjection" ,
10- " eulerSequence" ,
11- " idealSheafSequence" ,
12- " embeddedToAbstract" ,
13- " ExtLongExactSequence" ,
9+ -- "cotangentSurjection",
10+ -- "eulerSequence",
11+ -- "idealSheafSequence",
12+ -- "embeddedToAbstract",
13+ -- "ExtLongExactSequence",
1414 }
1515
1616-- ---------------------------------------------------------------------------
You can’t perform that action at this time.
0 commit comments