agdaunimath
Alltime Top Clips
17
0:30
The type of equivalence relations on A is equivalent to the type of sets X equipped with a surjective maps from X to A
hace 2 años 🎮
13
0:10
Constructive algebra in agda-unimath
hace 2 años 🎮
7
0:30
Constructive algebra in agda-unimath
hace 2 años 🎮
5
0:30
Constructive algebra in agda-unimath
hace 2 años 🎮
5
0:10
Constructive algebra in agda-unimath
hace 2 años 🎮
3
0:00
Complements of subtypes
hace 1 año 🎮
3
0:30
Constructive algebra in agda-unimath
hace 2 años 🎮
1
0:30
Exponentiation of types with tight apartness relations
hace 1 año 🎮
next page
next page
next page
next page
Your current Language is: es
but your preferred detected language is: en
Change the language now Switch to your browser default language.
but your preferred detected language is: en
Change the language now Switch to your browser default language.