lint and suggest

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

Sign in to view logs

Triggered via pull request October 22, 2024 10:22

synchronize #16410

FR_quotient_surjective

Status Success

Total duration 1m 26s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

Check all files imported