Theorem LocallyFinite.Realizer.to_locallyFinite

Modification history