Commit a814d63

authored and

committed

chore: cleanup Integral file (leanprover-community#39652)

Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>

1 parent d68d083 commit a814d63Copy full SHA for a814d63

5 files changed

Comments

(0)

Provide feedback