Theorem monoidHomOfForallMemZpowers_apply_gen

Modification history