🦌 deertopia.net
ID
b48bf37d-e442-46d4-bc2e-6c64fd632284
DeertopiaVisibility
public
Univalence axiom
(
A
≡
U
B
)
≃
(
A
≃
B
)