Theorem Module.Presentation.tautologicalSolution_isPresentation

Modification history