https://devel.isa-afp.org/entries/Relational_Cardinality.html
Cardinality and Representation of Stone Relation Algebras - Archive of Formal Proofs
Cardinality and Representation of Stone Relation Algebras in the Archive of Formal Proofs
stone relation algebrascardinalityrepresentationarchiveformal