Steiner triple systems

Content created by Jonathan Prieto-Cubides, Fredrik Bakke and Egbert Rijke.

Created on 2022-07-15.
Last modified on 2023-03-10.

module univalent-combinatorics.steiner-triple-systems where

open import elementary-number-theory.natural-numbers

open import foundation.universe-levels

open import univalent-combinatorics.steiner-systems

Definition

Steiner-Triple-System : ℕ → UU (lsuc lzero)
Steiner-Triple-System n = Steiner-System   n

Recent changes

• 2023-03-10. Fredrik Bakke. Additions to fix-import (#497).
• 2023-03-09. Jonathan Prieto-Cubides. Add hooks (#495).
• 2023-03-07. Fredrik Bakke. Add blank lines between <details> tags and markdown syntax (#490).
• 2023-03-07. Jonathan Prieto-Cubides. Show module declarations (#488).
• 2023-03-06. Fredrik Bakke. Remove redundant whitespace in headers (#486).