Skip to content

docs: Fix link to injective type families paper

Merge request reports