continuous integration (mathlib forks)

chore: rename mem_nonZeroDivisor_of_injective and comap_nonZeroDiviso… #173055

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build (fork)	0s
Lint style (fork)	0s
Post-CI job (fork)	0s
	0s