Commit 2025-04-29 09:29 c00c2f88
View on Github →chore(LapMatrix): fix a name (#24443)
Rename card_ConnectedComponent_eq_rank_ker_lapMatrix
to card_connectedComponent_eq_finrank_ker_toLin'_lapMatrix
:
- fix
c
to lowercase; - change
rank
tofinrank
; - mention
toLin'
.