fix derivation.lean on recent mathlib - SemanticDiff

Commit

3 years ago

fix derivation.lean on recent mathlib

References

4e554c4c/kaehler_is_base_change

Author

4e554c4c

4e554c4c

Committer

4e554c4c

4e554c4c

Parents

Loading