lint and suggest

chore(Data/Quot): rename `surjective__mk` => `.mk_surjective` #61790

Sign in to view logs

Triggered via pull request October 22, 2024 09:36

synchronize #16410

FR_quotient_surjective

Status Success

Total duration 1m 29s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

Check all files imported