Theorem Module.End.eigenspace_def

Modification history