swMATH40508MaRDI QIDQ56208
No author found.
Source code repository: https://github.com/martinescardo/TypeTopology/blob/master/source/InjectiveTypes.lagda
Described by source