5 lines
59 B
Text
5 lines
59 B
Text
|
example (a b : Prop) : a ∧ b :=
|
||
|
|
begin
|
||
|
|
apply or.inr
|
||
|
|
end
|