Commit 2024-02-12 23:48 a6948377

View on Github →

chore(QuadraticForm): Fintype -> Finite, DecidableEq (#10462)

Estimated changes