-
Dan Frumin authored
- Change the types in the examples slightly - Use notations in the examples - Modify some tactics to make the proofs more smooth
eba7639e
- Change the types in the examples slightly - Use notations in the examples - Modify some tactics to make the proofs more smooth