Skip to content

Matrix: use strip_reflections to avoid extra universe variables#2130

Merged
jdchristensen merged 1 commit intoHoTT:masterfrom jdchristensen:matrix-universesNov 7, 2024

Commits

Commits on Nov 7, 2024