Theorem Filter.Realizer.principal_F

Modification history