Commit 2024-02-04 13:41 7f632517

View on Github →

chore(Data/Finsupp/Fin): add Finsupp.cons_support (#10192)

Estimated changes

added theorem Finsupp.cons_support