Note Refs Ref by
closures-and-completions
17
9
cayleys-theorem
14
4
intro-to-groups
4
1
cauchys-functional-equation
15
0
coffee-experiment
0
0
constellations
0
0
monoids-alt
8
0
personal-values
0
0
topology
1
115
iff
1
55
algebraic-structure
6
35
haskell-definedness
3
31
closed-set
3
30
group
9
28
subspace-topology
2
27
topological-continuity
8
27
compact
6
26
closed-under
1
25
injective-surjective-bijective
1
23
cyclic-permutation
6
22
topological-basis
5
21
tag-list
15
19
permutation-parity
6
18
44890328491720367785r
3
17
operation
0
16
54209741804924341108r
1
15
covering
0
15
uniqueness
3
15
fixpoint-combinator
1
14
hausdorff
6
14
connected
5
13
equivalence
10
13
group-action
6
13
neighborhood
2
13
38382785189373196224r
8
12
cardinality
0
12
encoding
2
12
random-variable
2
12
04938674431657742918r
2
11
associativity
1
11
computable
0
11
linear-function
0
11
88382438277620604993r
3
10
category
1
10
22454901005260214948r
5
9
linear-ordering
4
8
open-closed-covering
3
8
order-topology
4
8
sample-space
2
8
tfae
0
8
wrt
2
8
52580779258918716980r
4
7
59787026677368057344r
1
7
79846320612324599578r
2
7
symmetric-group
6
7
47622182053428143447r
2
6
50527763406387074062r
2
6
55747561966312973342r
1
6
92644847594282241900r
6
6
directed-set
2
6
gcd
6
6
intersects
0
6
limit-point
3
6
modular-arithmetic
6
6
monoid
3
6
partial-ordering
4
6
set-partition
3
6
05896888068727733066r
6
5
13584614557664389747r
9
5
17585316824778456850r
1
5
26505536951323012224r
3
5
42007523468419960371r
4
5
60372579009283072058r
5
5
82589597827656748033r
7
5
98089623624978073863r
3
5
grp
13
5
paracompact
7
5
permutation
6
5
preorder
2
5
ring
5
5
subgroup
1
5
03910413241277448564r
2
4
23171834537117666200r
6
4
30506936048726716341r
0
4
32902958784300153840r
1
4
50428202841339748302r
10
4
63539230636868238489r
4
4
93088761842928594743r
4
4
93574049696516882363r
2
4
98025561483595702087r
0
4
epsilon-ball
1
4
expected-value
5
4
ordering-relation
7
4
09904757559882872062r
2
3
26765389546028819023r
2
3
44392307899023707796r
4
3
55672731295428381442r
1
3
57719600818903414435r
5
3
61823417527171115599r
3
3
65201755536811636630r
2
3
65765904693739714967r
3
3
69491766979365445539r
3
3
84829579404222920571r
0
3
93049051752326823377r
4
3
coprime
2
3
cycle-decomposition
9
3
dihedral-group
5
3
fixpoint
1
3
idempotent
1
3
magma
2
3
relation
3
3
02515669414632623465r
3
2
09806320521906302621r
3
2
11254024355277576031r
1
2
18459013869377224982r
2
2
29787762068918350480r
2
2
32166683689465156368r
2
2
40188333195252339235r
2
2
41716554339157676995r
1
2
45740777747768179723r
2
2
54596813847878478009r
4
2
60118411451295606939r
2
2
60381989299720350276r
6
2
62570998126896904426r
2
2
63084951297804294940r
3
2
64055162410919246043r
2
2
64615889197637028076r
3
2
67479998040867409098r
2
2
67685964973299609277r
4
2
73551791745827068982r
11
2
85920788166968343126r
0
2
86475686911021806567r
5
2
87335810540020913513r
7
2
89097370806105077612r
3
2
92665576244699242719r
5
2
93739643003338445965r
7
2
99105250480479402945r
1
2
additive-order
3
2
bezouts-identity
3
2
clopen-set
2
2
compactification
6
2
functional-track
7
2
gcd-smallest-linear-combination
4
2
group-action-orbit
6
2
group-coset
8
2
group-stabilizer
4
2
inclusion-function
0
2
linear-map
2
2
monoids-alt-old
9
2
multiplicative-groups-of-integers
10
2
03488909920381267698r
3
1
05668695102619544207r
2
1
11854508583294260104r
5
1
15398186475231096140r
1
1
16659617551360076615r
1
1
18063191453646215807r
2
1
21945158989296189620r
3
1
22932965526458701742r
1
1
26997408142048715613r
1
1
33165465342897486345r
4
1
35449239762681227947r
2
1
38025068987426347854r
0
1
39538742258498373072r
3
1
42324265095392411833r
2
1
53141204366209586274r
1
1
53671270133241241886r
1
1
53835268549149327654r
3
1
57251227770139002134r
3
1
58416535405789220165r
1
1
58803973631400751874r
1
1
59161551757886316999r
5
1
59418182846446194661r
3
1
59463847616457883659r
4
1
60623047365241070887r
6
1
64501667788023824340r
10
1
66521532335792187673r
0
1
67949398764691053088r
2
1
68263999241221610449r
0
1
71245785497884670924r
4
1
74416287163813783560r
2
1
77539667438979025562r
5
1
78863422648135385470r
1
1
82490817692684589540r
2
1
83349988328802175134r
3
1
84340440812889543398r
1
1
86590526454913555439r
4
1
87812511468602723724r
4
1
88908530653537998120r
3
1
89683034191998182905r
0
1
90457129233726600588r
5
1
90513076693585478065r
1
1
98073821046197532767r
2
1
alternating-group
6
1
boundary
4
1
busy-beaver
7
1
commutative-group
2
1
covert-operationality
3
1
euclidean-algorithm
1
1
fiber
0
1
group-element-order
3
1
group-subjects
11
1
limit-point-compact
3
1
locally-path-connected
5
1
magma-homomorphism
2
1
multiplicative-order
4
1
consolations
1
1
einsteins-dreams
1
1
is-a-line-really-composed-of-points
1
1
proofs-and-refutations
3
1
seven-sketches
5
1
skolems-paradox
7
1
telling-more-than-we-can-know
1
1
the-book
2
1
the-trainable-cat
2
1
orbit-stabilizer-theorem
9
1
preorders-as-subsets
3
1
structural-strength
22
1
terminal-object
3
1
unital
2
1
well-ordering-principle
0
1
02919376509503180623r
1
0
03042114674566132031r
5
0
03293411789800846257r
2
0
03390019876513390030r
7
0
04686021363052433268r
5
0
05013761137148893070r
2
0
06109252791376307025r
4
0
07794122248289928494r
0
0
08171311384262664682r
4
0
08405978941871500230r
9
0
08732960488101308377r
0
0
08890980799624974173r
4
0
09879995137969037532r
4
0
11459198799266855092r
2
0
12152877512561847054r
6
0
15740718262963170727r
1
0
18742058673092520958r
1
0
18936689797941919822r
0
0
19214909041985626132r
7
0
19613219472064135899r
2
0
19617872193658739494r
6
0
21356515367230481501r
5
0
22001904751469439229r
8
0
22423431856042114647r
0
0
23005767753730847835r
1
0
25574521740376112369r
5
0
28419910110091384329r
2
0
29195558603518770648r
4
0
30538994919235176292r
5
0
31054463805595531256r
0
0
32751095028652732405r
6
0
32980273196907449162r
5
0
34274375422553894343r
1
0
35010953398895407628r
3
0
35314159191589570696r
2
0
35798740496967030417r
7
0
37190117995581568158r
12
0
37296177821012678378r
2
0
37486587033706327510r
2
0
37599550788390916273r
4
0
38360015925168797980r
5
0
38727070398207369546r
7
0
41934136995679530042r
3
0
42614730368431224758r
3
0
43164054252597421077r
3
0
43424968921975513373r
3
0
43549745654591744007r
4
0
46169257318181350885r
4
0
47230060892604441716r
1
0
47366779347182530983r
2
0
47956844303176100870r
5
0
48515043183684817346r
6
0
48647866403187493577r
9
0
48676883662086724833r
4
0
50293426193546624014r
4
0
50305252395089172749r
3
0
50416994544690732227r
3
0
51356226470179821328r
6
0
52648975386338827589r
3
0
54150922190185154663r
1
0
54163183028311901191r
4
0
55792792588297568393r
2
0
56306772026051307266r
3
0
56470354597102245616r
6
0
57620786326662203227r
0
0
57823300556550100594r
2
0
58257171305547709211r
3
0
58617935528680362335r
1
0
58681055286362784632r
5
0
62523397927489243329r
3
0
64027332197512337047r
5
0
64069243940742606232r
4
0
65566489669663489936r
2
0
67210083936299230684r
0
0
67686943417235316613r
2
0
67880516533282902052r
3
0
67982986969367613960r
1
0
69001896351437265484r
5
0
70912504997525703733r
2
0
71742535032547742979r
8
0
73083908800229770883r
3
0
75534087244337915119r
1
0
75629153094279193991r
5
0
75929978369624599852r
3
0
76251275596394291247r
5
0
78182740240322002984r
5
0
78473169919312035320r
4
0
78738816933962383216r
2
0
78775873501889036246r
5
0
79216890894167780624r
7
0
79897372361461373769r
2
0
79930009808598364954r
2
0
79957597605345138233r
2
0
80271398406442582950r
2
0
81636967853165159320r
3
0
82859226071835595537r
3
0
83013971848038095405r
2
0
83743427079506066766r
3
0
84526879436771813636r
3
0
84847520441209450303r
3
0
85042981267825471457r
3
0
85163258500931146096r
2
0
85214886676339087316r
8
0
86809195302886386555r
3
0
87368551144702784712r
2
0
89117614934332298474r
4
0
89466158775511522536r
1
0
89961743486433913169r
2
0
91054561010556502534r
2
0
92005738005477300873r
6
0
92726003181213107500r
2
0
93262164023363167409r
0
0
93332495346731936570r
2
0
94708929554189526632r
5
0
94779059060371810160r
4
0
98717787753906333649r
8
0
98918922730812555689r
3
0
F2
2
0
ackermann-function
5
0
arrow-decomposition
1
0
burnsides-lemma
10
0
fixpoints-in-haskell
2
0
r-shakshuka
0
0
group-direct-product
1
0
group-morphism-kernel
8
0
haskell-functions-preserve-definedness
1
0
J2p001
0
0
J2p002
0
0
J2p003
0
0
J2p004-016
0
0
J2p017
0
0
J2p018-026
0
0
J2p027-030
0
0
J2p031-032
0
0
J2p033
0
0
J2p034
0
0
J2p035
0
0
J2p036-037
0
0
J2p038
0
0
J2p039-042
0
0
J2p043
0
0
J2p044
0
0
J2p045-048
0
0
J2p049
0
0
J2p050
0
0
J2p051
0
0
J2p052
0
0
J2p053
0
0
J2p054-055
0
0
J2p056
0
0
J2p057-058
0
0
J2p059
0
0
J2p060
0
0
J2p061-063
0
0
J2p064-066
0
0
J2p067-069
0
0
J2p070
0
0
J2p071-072
0
0
J2p073
0
0
J2p074
0
0
J2p075
0
0
J2p076
0
0
J2p077
0
0
J2p078
0
0
J2p079
0
0
J2p080
0
0
J2p081
0
0
J2p082-083
0
0
J2p084
0
0
J2p085
0
0
J2p086
0
0
J2p087
0
0
J2p088
0
0
J2p089
0
0
J2p090-093
0
0
J2p094
0
0
J2p095
0
0
J2p096
0
0
J2p097-103
0
0
J2p104
0
0
J2p105
0
0
J2p106-108
0
0
J2p109
0
0
J2p110
0
0
J2p111-112
0
0
J2p113-122
0
0
J2p123
0
0
J2p124
0
0
J2p125
0
0
J2p126
0
0
J2p127
0
0
J2p128
0
0
J2p129
0
0
J2p130
0
0
J2p131-137
0
0
J2p138
0
0
J2p139-140
0
0
J2p141
0
0
J2p142
0
0
J2p143
0
0
J2p144-146
0
0
J2p147
0
0
J2p148-149
0
0
J2p150
0
0
J2p151-153
0
0
J2p154
0
0
J2p155
0
0
J2p156
0
0
J2p157
0
0
J2p158-162
0
0
J2p163
0
0
J2p164-167
0
0
J2p168
0
0
J2p169-170
0
0
J2p171-172
0
0
justified-true-belief
1
0
lang
9
0
negative-indices-are-wrong
3
0
order-top-with-lub
3
0
order-v-subspace-top-on-convex-subset
4
0
scratch
0
0
smirnov-metrization
6
0
topological-closure
6
0