URL details: ualib.org/Setoid.Varieties.HSP.html#proof-of-the-hsp-theorem
URL title:
Setoid.Varieties.HSP module (Agda Universal Algebra Library)
URL last crawled:
2022-06-12
URL speed:
0.239 MB/s,
downloaded in 0.400 seconds
1 external links to this url
Only links from external domains are shown on this page.
found date
link text
from url
2022-04-13
Birkhoff HSP Theorem