Theorem Algebra.FiniteType.of_span_eq_top_target

Modification history