mathlib3
43a4f23d - First (ugly) proof of (size increase stack) \leq (length of statementt)

Commit

5 years ago

First (ugly) proof of (size increase stack) \leq (length of statementt)

Author

pimsp

pimsp

Parents

Loading