Searched defs:TheoremMut (Results 1 – 1 of 1) sorted by relevance
5 public class TheoremMut extends Theorem { class12 public TheoremMut(Object TheoremMut, EmbeddedManager embeddedManager) { in TheoremMut() method in TheoremMut