mathlib
9e0dbd55 - improved two proofs, changes the "lemmas" that should be "defs" to "instance"

Commit

4 years ago

improved two proofs, changes the "lemmas" that should be "defs" to "instance"

Author

l534zhan

l534zhan

Parents

Loading