Skip to content

being trivial is invariant under iso#2206

Merged
Alizter merged 1 commit intoHoTT:masterfrom Alizter:ps/rr/being_trivial_is_invariant_under_isoJan 29, 2025

Commits

Commits on Jan 22, 2025