Skip to content
Snippets Groups Projects
Commit b85b759d authored by Luke Naylor's avatar Luke Naylor
Browse files

Update subproject general-semi-homog-presentation 

116bfbf Make statements conditional on existence of semistable kernel
parent 47c99cb4
No related branches found
No related tags found
No related merge requests found
Pipeline #40419 passed
Stage: test
    Hide whitespace changes
    Inline Side-by-side
    general-semi-homog-presentation @ 116bfbf2
    Compare 827246ac...116bfbf2
    Subproject commit 827246acb185e4281fed3e4d9c8bfc4aa9bf0954
    Subproject commit 116bfbf2b6648c56a2d8b2652ac264300fcca621
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment