You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
remove false remarks about structures that only held in Lean 3#121
Merged
PatrickMassot merged 1 commit intoavigad:masteravigad/mathematics_in_lean_source:masterfrom eric-wieser:structure-etaeric-wieser/mathematics_in_lean_source:structure-etaCopy head branch name to clipboardAug 30, 2023
