Back to pull request #37924

Deprecate `is_FGP_Module`, `is_FilteredVectorSpace`, `is_FreeQuadraticModule`, `is_FreeModule`, `is_FreeModuleHomspace`, `is_MatrixSpace`, `is_Module`, `is_VectorSpace`, `is_VectorSpaceHomspace` #32657

Sign in to view logs

Summary
Jobs
- synchronize
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
synchronize	5s
	5s