Skip to content

add stabilizer for G-sets w.r.t. derived actions #17192

add stabilizer for G-sets w.r.t. derived actions

add stabilizer for G-sets w.r.t. derived actions #17192

Annotations

2 warnings

test (1.10, long, macOS, RPTU)

succeeded Nov 4, 2024 in 14m 47s