Commit 2024-06-05 09:14 eb017622

View on Github →

chore: fix name for isNilpotent_of_finite_tFAE (#13527)

Estimated changes