Referenced by:

• 03042114674566132031r
• 47622182053428143447r
• 61823417527171115599r
• 67685964973299609277r
• 67880516533282902052r
• 83349988328802175134r
• 92726003181213107500r
• ackermann-function
• adt-differentiation
• algebra-monoids-alt
• busy-beaver
• capability-posets
• cats-functor
• cats-natural-transformation
• cats-opposite-category
• cats-product-category
• cats-skeleton
• cauchys-functional-equation
• closure
• closures-and-completions
• com-arithmetic-hierarchy
• com-recursive
• delta-types
• distributive-laws-conceptualization
• equivalence
• fixpoint-combinator
• fixpoints-in-haskell
• group-action-orbit
• groups-cayleys-thm
• groups-orbit-stabilizer-thm
• haskell-functions-preserve-definedness
• ucb-catthy-01
• ucb-catthy-02
• ucb-metamathematics-b-02
• ucb-metamathematics-b-03
• ucb-metamathematics-b-04
• iff
• lang
• logic-ahrenfeucht-fraisse-game
• logic-compactness
• logic-ultraproduct
• metric
• minesweeper-math
• pbty-expected-value
• relation
• scratch
• sets-well-ordering
• thoughts-on-model-theory
• topology-box-topology
• topology-closure
• topology-interior
• uniformity
• union-of-model-chain
• with-respect-to