Around Formalizing building-up constructions of self-dual codes through isotropic lines in Lean

Every recorded relation of Formalizing building-up constructions of self-dual codes through isotropic lines in Lean, coloured by entity type. Click a node to open it.