Commit 2024-02-05 00:24 1dc9adff

View on Github →

chore(NormedSpace/Exponential): Fintype → Finite (#10260)

Estimated changes

modified theorem Function.update_exp
modified theorem Pi.exp_apply
modified theorem Pi.exp_def