Skip to content

is_finiteorder -> is_finite_order #638

is_finiteorder -> is_finite_order

is_finiteorder -> is_finite_order #638

Annotations

1 warning and 1 notice

compare-invalidations

succeeded Mar 20, 2024 in 2m 31s