MajoritiesOnlyActOnSets

Jakub Opršal, 11–12 Mar 2026.

Moved from this place to `AlgebraicStructuresForcingSethood` 17th April 2026.

We keep this file because links to it had been given publicly on
mathstodon before the move, and removing it would break them.


{-# OPTIONS --safe --without-K #-}

module gist.MajoritiesOnlyActOnSets where

import AlgebraicStructuresForcingSethood.Majority