Theorem Action.Iso.conj_ρ

Modification history