Derivation Tree for Lean Exclusive Heads

...is derived from...

...is derived from...

...is derived from...

...is derived from...

...is derived from...

...is derived from...

...is derived from...

Don't want to see these ads? Join the VIP Program!