Theorem multiplicity.finite_def

Modification history