Theorem Hollom.SpinalMap.idempotent

Modification history