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.5: Characteristic Functions
Subsection 2.5.1: The Characteristic Function of a Subset
Proposition 2.5.1.1.4: Properties of Characteristic Functions of Subsets (cite)

Statistics Cite

3 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	29
number of results used in preliminary results	230
number of chapters used	23
number of sections used	5
number of results (indirectly) using this tag	3

Tags (directly) using this result

Proposition 2.4.3.1.1 in Subsection 2.4.3: Adjointness of Powersets I
(go to statistics)
Proposition 2.4.4.1.1 in Subsection 2.4.4: Adjointness of Powersets II
(go to statistics)
Proposition 2.5.1.1.4 in Subsection 2.5.1: The Characteristic Function of a Subset
(go to statistics)

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

You can also use the contact form below: