Statistics for tag 0069 — The Clowder Project

Preferences

Font:

PDF Style:

Here's a breakdown of the differences between each PDF style:

Style	Class	Font	Theorem Environments
Style 1	`book`	Alegreya Sans	`tcbthm`
Style 2	`book`	Alegreya Sans	`amsthm`
Style 3	`book`	Arno*	`amsthm`
Style 4	`book`	Computer Modern	`amsthm`

*To be replaced with Linus Romer's Elemaints when it is released.

Table of Contents
Part 1: Sets
Chapter 2: Constructions With Sets
Section 2.4: Powersets
Subsection 2.4.1: Characteristic Functions
Proposition 2.4.1.1.3: Properties of Characteristic Functions (cite)

Statistics Cite

2 tags refer to this tag

Statistics for tag 0069

Go back to the tag's page.

Complexity measure

metric	value
number of results in proof	22
number of results used in preliminary results	77
number of chapters used	19
number of sections used	2
number of results (indirectly) using this tag	14

Tags (directly) using this result

Proposition 2.4.1.1.3 in Subsection 2.4.1: Characteristic Functions
(go to statistics)
Proposition 2.4.3.1.8 in Subsection 2.4.3: Powersets
(go to statistics)

Noticed something off, or have any comments? Feel free to reach out!

You can also use the contact form below: