AlphaGitHub
Source/Packages

ParticipantGroupLaws

packages/representations/tests/ParticipantGroupLaws.alpha

262 lines49 declarations7.9 KiBSHA-256 4ede595dbb41
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 191–192

unequalCount

Full file
191def unequalCount : (equal Nat (count unequalCoverage) 200000) =
192  (refl Nat 200000)

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.