Skip to content

Remove duplicated lemma #2747

Remove duplicated lemma

Remove duplicated lemma #2747

test-cubical

succeeded Feb 18, 2025 in 27m 59s