11 lines
181 B
Text
11 lines
181 B
Text
Show Options
|
|
Variable a : Bool
|
|
Variable b : Bool
|
|
Show a/\b
|
|
Set lean::pp::notation false
|
|
Show Options
|
|
Show a/\b
|
|
Show Environment 2
|
|
Set lean::pp::notation true
|
|
Show Options
|
|
Show a/\b
|