Skip to content

chore: put asymmetric patterns commands on separate lines#2356

Merged
Alizter merged 5 commits into
HoTT:masterfrom
Alizter:push-wuuonszwlxqo
Apr 24, 2026
Merged

chore: put asymmetric patterns commands on separate lines#2356
Alizter merged 5 commits into
HoTT:masterfrom
Alizter:push-wuuonszwlxqo

Update theories/Basics/Settings.v

cdbe06f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

11 warnings
opam-build (dev, ubuntu-latest)
succeeded Apr 24, 2026 in 4m 22s