Commit 2024-02-24 12:33 a25ebf08

View on Github →

chore(StdBasis): Fintype -> Finite (#10914)

Estimated changes

modified theorem Module.piEquiv_apply_apply