Simon Jacobsson Person-Info 

( Ich bin Simon Jacobsson)

News

Topic: substitution within Sigma - Zulip Chat Archive

leanprover-community.github.io
Simon Jacobsson (Aug at 13:59): Hello, I am having some trouble with making a substitution inside a dependent product. Here is the context: › ...
Verwandte Suchanfragen zu Simon Jacobsson
Personen
Vorname "Simon" (30003)
Name "Jacobsson" (83)
Dossier exportieren
+1