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
cto lowercase; - change
ranktofinrank; - mention
toLin'.